1. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، System design,، Set theory,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
S29
1994
2. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design , Set theory , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
S29
1994